Optimal. Leaf size=159 \[ \frac{d^2 p \text{PolyLog}\left (2,-\frac{e (a+b x)}{b d-a e}\right )}{e^3}-\frac{a^2 p \log (a+b x)}{2 b^2 e}+\frac{d^2 \log \left (c (a+b x)^p\right ) \log \left (\frac{b (d+e x)}{b d-a e}\right )}{e^3}-\frac{d (a+b x) \log \left (c (a+b x)^p\right )}{b e^2}+\frac{x^2 \log \left (c (a+b x)^p\right )}{2 e}+\frac{a p x}{2 b e}+\frac{d p x}{e^2}-\frac{p x^2}{4 e} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16708, antiderivative size = 159, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 8, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.381, Rules used = {43, 2416, 2389, 2295, 2395, 2394, 2393, 2391} \[ \frac{d^2 p \text{PolyLog}\left (2,-\frac{e (a+b x)}{b d-a e}\right )}{e^3}-\frac{a^2 p \log (a+b x)}{2 b^2 e}+\frac{d^2 \log \left (c (a+b x)^p\right ) \log \left (\frac{b (d+e x)}{b d-a e}\right )}{e^3}-\frac{d (a+b x) \log \left (c (a+b x)^p\right )}{b e^2}+\frac{x^2 \log \left (c (a+b x)^p\right )}{2 e}+\frac{a p x}{2 b e}+\frac{d p x}{e^2}-\frac{p x^2}{4 e} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 2416
Rule 2389
Rule 2295
Rule 2395
Rule 2394
Rule 2393
Rule 2391
Rubi steps
\begin{align*} \int \frac{x^2 \log \left (c (a+b x)^p\right )}{d+e x} \, dx &=\int \left (-\frac{d \log \left (c (a+b x)^p\right )}{e^2}+\frac{x \log \left (c (a+b x)^p\right )}{e}+\frac{d^2 \log \left (c (a+b x)^p\right )}{e^2 (d+e x)}\right ) \, dx\\ &=-\frac{d \int \log \left (c (a+b x)^p\right ) \, dx}{e^2}+\frac{d^2 \int \frac{\log \left (c (a+b x)^p\right )}{d+e x} \, dx}{e^2}+\frac{\int x \log \left (c (a+b x)^p\right ) \, dx}{e}\\ &=\frac{x^2 \log \left (c (a+b x)^p\right )}{2 e}+\frac{d^2 \log \left (c (a+b x)^p\right ) \log \left (\frac{b (d+e x)}{b d-a e}\right )}{e^3}-\frac{d \operatorname{Subst}\left (\int \log \left (c x^p\right ) \, dx,x,a+b x\right )}{b e^2}-\frac{\left (b d^2 p\right ) \int \frac{\log \left (\frac{b (d+e x)}{b d-a e}\right )}{a+b x} \, dx}{e^3}-\frac{(b p) \int \frac{x^2}{a+b x} \, dx}{2 e}\\ &=\frac{d p x}{e^2}+\frac{x^2 \log \left (c (a+b x)^p\right )}{2 e}-\frac{d (a+b x) \log \left (c (a+b x)^p\right )}{b e^2}+\frac{d^2 \log \left (c (a+b x)^p\right ) \log \left (\frac{b (d+e x)}{b d-a e}\right )}{e^3}-\frac{\left (d^2 p\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{e x}{b d-a e}\right )}{x} \, dx,x,a+b x\right )}{e^3}-\frac{(b p) \int \left (-\frac{a}{b^2}+\frac{x}{b}+\frac{a^2}{b^2 (a+b x)}\right ) \, dx}{2 e}\\ &=\frac{d p x}{e^2}+\frac{a p x}{2 b e}-\frac{p x^2}{4 e}-\frac{a^2 p \log (a+b x)}{2 b^2 e}+\frac{x^2 \log \left (c (a+b x)^p\right )}{2 e}-\frac{d (a+b x) \log \left (c (a+b x)^p\right )}{b e^2}+\frac{d^2 \log \left (c (a+b x)^p\right ) \log \left (\frac{b (d+e x)}{b d-a e}\right )}{e^3}+\frac{d^2 p \text{Li}_2\left (-\frac{e (a+b x)}{b d-a e}\right )}{e^3}\\ \end{align*}
Mathematica [A] time = 0.0882514, size = 127, normalized size = 0.8 \[ \frac{4 b^2 d^2 p \text{PolyLog}\left (2,\frac{e (a+b x)}{a e-b d}\right )-2 a^2 e^2 p \log (a+b x)+b \log \left (c (a+b x)^p\right ) \left (4 b d^2 \log \left (\frac{b (d+e x)}{b d-a e}\right )-4 a d e+2 b e x (e x-2 d)\right )+b e p x (2 a e+4 b d-b e x)}{4 b^2 e^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.649, size = 666, normalized size = 4.2 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{2} \log \left ({\left (b x + a\right )}^{p} c\right )}{e x + d}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{x^{2} \log \left ({\left (b x + a\right )}^{p} c\right )}{e x + d}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{2} \log{\left (c \left (a + b x\right )^{p} \right )}}{d + e x}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{2} \log \left ({\left (b x + a\right )}^{p} c\right )}{e x + d}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]